201. Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
پدیدآورنده: Michael G. Hinchey... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Intelligent control systems,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3228
202. Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers
پدیدآورنده: Michael G. Hinchey ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Intelligent control systems,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2699
203. Formal methods and software engineering :
پدیدآورنده: Shengchao Qin, Zongyan Qiu (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses
رده :
QA76
.
9
.
F67
I34
2011
204. Formal methods and software engineering
پدیدآورنده: Karin Breitman, Ana Cavalcanti (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I584
2009
205. Formal methods and software engineering :
پدیدآورنده: Jing Sun, Meng Sun (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
206. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
پدیدآورنده: / Kung-Kiu Lau, Richard Banach (eds.),Portion of Title:7th International Conference on Formal Engineering Methods.
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Software engineering--Congresses
رده :
QA76
.
9
.
F67
I57
207. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
پدیدآورنده: Kung-Kiu Lau, Richard Banach )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3785
208. Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
پدیدآورنده: Jim Davies, Wolfram Schulte, Mike Barnett )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3308
209. Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
پدیدآورنده: Chris George, Huaikou Miao )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2495
210. Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
پدیدآورنده: Jin Song Dong, Jim Woodcock )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2885
211. Formal methods at the crossroads :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses ;
212. Formal methods at the crossroads
پدیدآورنده: / Bernhard K. Aichernig, Tom Maibaum (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Software engineering--Congresses
رده :
QA
,
76
.
758
,
F67
,
2003
213. Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
پدیدآورنده: Bernhard K. Aichernig, Tom Maibaum )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2757
214. Formal methods for components and objects :
پدیدآورنده: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
F53
2012
215. Formal methods for industrial critical systems :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses. ;
216. Formal methods for multicore programming
پدیدآورنده: \ Marco Bernardo , Einar Broch Johnsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرمافزار -- تولید -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
76
.
F6
2015
E-Book
,
217. Formal methods in databases and software engineering :
پدیدآورنده: V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Database management -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.
رده :
QA76
.
9
.
D3
V735
1993
218. Formal techniques for distributed systems :
پدیدآورنده: Holger Giese, Grigore Rosu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
219. Foundations of Software Science and Computation Structures
پدیدآورنده: \ Andrew Pitts (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: System analysis -- Congresses.,Computer software -- Congresses. ,Software engineering -- Congresses. ,تجزیه و تحلیل سیستم‌ها -- کنگره ها ,نرمافزار رای‍ان‍ه ای -- کنگره ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
QA76
.
751
.
F67
2015
E-Book
,
220. Foundations of computer software
پدیدآورنده: Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
